Function get_asid_tables 

fn get_asid_tables() -> &'static RwLock<Box<[u64]>>