Searched refs:rdpkru (Results 1 – 4 of 4) sorted by relevance
58 uint32_t rdpkru(void);117 uint32_t rdpkru(void);181 uint32_t rdpkru(void);270 uint32_t rdpkru(void);384 printf("pkru 0x%08x\n", rdpkru());394 printf("pkru 0x%08x\n", rdpkru());
64 pkru = rdpkru(); in x86_pkru_get_perm_hw()95 pkru = rdpkru(); in x86_pkru_set_perm_hw()
603 rdpkru(void) in rdpkru() function
686 def RDPKRUr : I<0x01, MRM_EE, (outs), (ins), "rdpkru",