def read_registers(task, addr_space):
 return list(read_int_list((task.thread.sp0 - (21 * address_size)), task.thread.sp0, addr_space))

def read_registers ( task , addr_space ) : return list ( read_int_list ( ( task . thread . sp0 - ( 21 * address_size ) ) , task . thread . sp0 , addr_space ) )
read registers from kernel space .