Searched defs:kernel_start_pointer (Results 1 – 4 of 4) sorted by relevance
33 uint32_t kernel_start_pointer:26; member
295 unsigned int kernel_start_pointer:26; member360 unsigned int kernel_start_pointer:26; member445 unsigned int kernel_start_pointer:26; member
32 uint32_t kernel_start_pointer:26; member
87 unsigned kernel_start_pointer:26; /* Offset from GENERAL_STATE_BASE */ member