devices::pl030

Function get_epoch_time

Source 
fn get_epoch_time() -> u32