Searched refs:sev_get_cbit_position (Results 1 – 3 of 3) sorted by relevance
49 uint32_t sev_get_cbit_position(void);
426 sev_get_cbit_position(void) in sev_get_cbit_position() function
6663 *ebx = sev_get_cbit_position() & 0x3f; /* EBX[5:0] */ in cpu_x86_cpuid()